A HTML editor and programming tool, in one